binary decision diagram

二叉判定图